Uncountable sets and an infinite real number game

نویسنده

  • Matthew H. Baker
چکیده

The game. Alice and Bob decide to play the following infinite game on the real number line. A subset S of the unit interval [0, 1] is fixed, and then Alice and Bob alternate playing real numbers. Alice moves first, choosing any real number a1 strictly between 0 and 1. Bob then chooses any real number b1 strictly between a1 and 1. On each subsequent turn, the players must choose a point strictly between the previous two choices. Equivalently, if we let a0 = 0 and b0 = 1, then in round n ≥ 1, Alice chooses a real number an with an−1 < an < bn−1, and then Bob chooses a real number bn with an < bn < bn−1. Since a monotonically increasing sequence of real numbers which is bounded above has a limit (see [8, Theorem 3.14]), α = limn→∞ an is a well-defined real number between 0 and 1. Alice wins the game if α ∈ S, and Bob wins if α 6∈ S.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Example of an Infinite Steiner Tree Connecting an Uncountable Set

We construct an example of a Steiner tree with an infinite number of branching points connecting an uncountable set of points. Such a tree is proven to be the unique solution to a Steiner problem for the given set of points. As a byproduct we get the whole family of explicitly defined finite Steiner trees, which are unique connected solutions of the Steiner problem for some given finite sets of...

متن کامل

Borel hierarchies in infinite products of Polish spaces

Let H be a product of countably infinite number of copies of an uncountable Polish space X . Let Σξ (Σξ ) be the class of Borel sets of additive class ξ for the product of copies of the discrete topology on X (the Polish topology on X), and let B = ∪ξ<ω1Σξ . We prove in the Lévy–Solovay model that Σξ = Σξ ∩B

متن کامل

Jaakko Hintikka

The continuum hypothesis (CH) is crucial in the core area of set theory, viz. in the theory of the hierarchies of infinite cardinal and infinite ordinal numbers. It is crucial in that it would, if true, help to relate the two hierarchies to each other. It says that the second infinite cardinal number, which is known to be the cardinality of the first uncountable ordinal, equals the cardinality ...

متن کامل

The Continuum is Countable: Infinity is Unique

Since the theory developed by Georg Cantor, mathematicians have taken a sharp interest in the sizes of infinite sets. We know that the set of integers is infinitely countable and that its cardinality is א0. Cantor proved in 1891 with the diagonal argument that the set of real numbers is uncountable and that there cannot be any bijection between integers and real numbers. Cantor states in partic...

متن کامل

CmSc 365 Theory of Computation

Finite and Infinite Sets. Countability. Proof Techniques (Chapter 1, Sections 1.4, 1.5) Finite sets finite number of elements can be counted Infinite sets infinite number of elements Equinumerous sets: Sets A and B are equinumerous if there is a bijection f : A → B E.G.: A = {1,2,3}, B = {a,b,c} Countably infinite sets: A set is countably infinite if it is equinumerous with N (the set of natura...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006